Programming Language Design and Implementation - PDFSEARCH.IO - Document Search Engine

Programming Language Design and Implementation
Results: 124

#	Item
41	Milo M. K. Martin Curriculum Vitae March 9, 2014 Computer and Information Sciences Department University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-03-09 21:15:26 Symposium on Principles and Practice of Parallel Programming Programming Language Design and Implementation Rajeev Alur Rock Software engineering Computer science Computing XPL
42	Bor-Yuh Evan Chang http://www.cs.colorado.edu/∼bec/ + (phone) + (fax) Add to Reading List Source URL: www.cs.colorado.edu Language: English - Date: 2015-02-01 19:26:08 Principles of Programming Languages Formal methods Programming Language Design and Implementation Computing Formal verification Model checking SIGPLAN Program analysis Association for Computing Machinery Computer science George Necula
43	PDF Document Add to Reading List Source URL: www.hpi.uni-potsdam.de Language: English - Date: 2015-05-08 07:57:07 SIGPLAN Computing DYLA International Conference on Functional Programming Association for Computing Machinery Computer science Programming Language Design and Implementation
44	Design of the Java HotSpotTM Client Compiler for Java 6 THOMAS KOTZMANN, CHRISTIAN WIMMER ¨ ¨ and HANSPETER MOSSENB Add to Reading List Source URL: www.ssw.uni-linz.ac.at Language: English - Date: 2008-05-29 09:44:13 Compiler optimizations Programming language implementation Cross-platform software Static single assignment form Compiler Just-in-time compilation Inline expansion Register allocation Java Computing Software Compiler construction
45	Practices of PLDI Hans Boehm, Jack Davidson, Kathleen Fisher, Cormac Flanagan, Jeremy Gibbons, Mary Hall, Graham Hutton, David Padua, Frank Tip, Jan Vi Add to Reading List Source URL: www.sigplan.org Language: English - Date: 2015-04-12 11:24:20 Computer science Computing Association for Computing Machinery Programming Language Design and Implementation SIGPLAN
46	Mutable Strings in Java: Design, Implementation and Lightweight Text–Search Algorithms Paolo Boldi a Sebastiano Vigna a a Dipartimento di Scienze dell’Informazione, Università degli Studi di Milano Add to Reading List Source URL: vigna.di.unimi.it Language: English - Date: 2004-05-27 17:24:26 Search algorithms Java programming language Data types String Buffer Object-oriented programming Hashing Immutable object String Hash function Computing Computer programming Software engineering
47	Computer security  PLDI’06 Tutorial T1: Enforcing and Expressing Security with Programming Languages Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2006-06-11 03:17:49 Data types Type theory Association for Computing Machinery Programming Language Design and Implementation Trusted computing base Programming language Java Memory safety ALGOL 68 Computing Software engineering Programming language theory
48	George Necula Electrical Engineering and Computer Science University of California, Berkeley 783 Soda Hall Berkeley, CA 94720 Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2014-01-20 12:46:10 Association for Computing Machinery George Necula Proof-carrying code SIGPLAN Principles of Programming Languages Programming Language Design and Implementation Symposium on Principles and Practice of Parallel Programming ACM SIGACT ECL programming language Computing Computer science Programming language theory
49	Resume of James Craig Burley 97 Arrowhead Circle, Ashland, MA 01721; OBJECTIVE Architect/developer role involving research, design, implementation, and shipping of software and networking systems, Add to Reading List Source URL: www.jcb-sc.com Language: English - Date: 2011-06-16 00:06:01 Procedural programming languages Compilers Cross-platform software Programming language implementation GNU Compiler Collection Fortran GNU Linux G77 Software Computing Computer programming
50	CURRICULUM VITAE Michael D. Smith School of Engineering and Applied Sciences Maxwell-Dworkin Laboratories, RoomOxford Street Add to Reading List Source URL: www.eecs.harvard.edu Language: English - Date: 2010-03-31 18:48:47 Software engineering XPL Monica S. Lam Programming Language Design and Implementation ACM SIGACT Association for Computing Machinery David Ungar Computing Computer science Year of birth missing

UPDATE